منابع مشابه
Valuations and Filtrations
The classical theory of Gröbner bases, as developed by Bruno Buchberger, can be expanded to utilize objects more general than term orders. Each term order on the polynomial ring k[x] produces a filtration of k[x] and a valuation ring of the rational function field k(x). The algorithms developed by Buchberger can be performed by using directly the induced valuation or filtration in place of the ...
متن کاملContinuity, freeness, and filtrations
The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in the incremental construction of (standard) finitely generated free S4-algebras. This Technical Report reproduces the content of my talk given at the worksh...
متن کاملRhombus Filtrations and Rauzy Algebras
Abstract. Peach introduced rhombal algebras associated to quivers given by tilings of the plane by rhombi. We develop general techniques to analyze rhombal algebras, including a filtration by what we call rhombus modules. We introduce a way to relate the infinite-dimensional rhombal algebra corresponding to a complete tiling of the plane to finite-dimensional algebras corresponding to finite po...
متن کاملEnlargements of Filtrations and Applications
In this paper we review some old and new results about the enlargement of filtrations problem, as well as their applications to credit risk and insider trading problems. The enlargement of filtrations problem consists in the study of conditions under which a semimartingale remains a semimartingale when the filtration is enlarged, and, in such a case, how to find the Doob-Meyer decomposition. Fi...
متن کاملSlope Filtrations
Many slope filtrations occur in algebraic geometry, asymptotic analysis, ramification theory, p-adic theories, geometry of numbers... These functorial filtrations, which are indexed by rational (or sometimes real) numbers, have a lot of common properties. We propose a unified abstract treatment of slope filtrations, and survey how new ties between different domains have been woven by dint of de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2002
ISSN: 0747-7171
DOI: 10.1006/jsco.2002.0565